Merge branch 'Davey' of github.com:MikevanLoe/IndoorNav into Mike
Merge branch 'Davey' of github.com:MikevanLoe/IndoorNav into Mike
Merge branch 'Mike' of https://github.com/MikevanLoe/IndoorNav into Davey
bug fix