diff --git a/src/pocketmine/level/Level.php b/src/pocketmine/level/Level.php
index ed8491aee..7665d5b6b 100644
--- a/src/pocketmine/level/Level.php
+++ b/src/pocketmine/level/Level.php
@@ -145,6 +145,7 @@ class Level implements ChunkManager, Metadatable{
 	/** @var LevelProvider */
 	private $provider;
 
+	/** @var int */
 	private $worldHeight;
 
 	/** @var ChunkLoader[] */